Paperback Polymorphism

OXFORD PAPERBACK REFERENCE The Concise

algebra The area of mathematics concerned withalgebraic structures, such as *groups, *rings and *fields,involving sets of elements with particular operationssatisfying certain axioms. The purpose is to derive, from theset of axioms, general results that are then applicable toany particular example of the algebraic structure in question.The theory of certain algebraic str...

Preface to the Second Paperback Edition

This book was the result of emigration across disciplinary boundaries. The point of departure was cognitive psychology and its philosophical underpinnings, a realm of meticulous experimental observation and highly generalized interpretative reasoning. The eventual destination was international security policy whose reigning doctrine—the concept of deterrence—was derived from an idealized vision...

Preface to the Paperback Edition of Culture of Critique

Incremental Polymorphism Incremental Polymorphism

The Hindley/Milner polymorphic type system has been adopted in many programming languages because it provides the convenience of programming languages like Lisp along with the correctness guarantees that come with static type-checking. However, programming environments for such languages are still not as exible as those for Lisp. In particular, the style of incremental, top-down program develop...

Combining Inclusion Polymorphism and Parametric Polymorphism

We show that the question whether a term is typable is decidable for type systems combining inclusion polymorphism with parametric polymorphism provided the type constructors are at most unary. To prove this result we first reduce the typability problem to the problem of solving a system of type inequations. The result is then obtained by showing that the solvability of the resulting system of ...